$\vdash$  $\forall$$a$:$\mathbb{Z}$. ({-}{-}$a$) = $a$